Skip to content

PR to test CI#7

Open
raz-certora wants to merge 321 commits intomainfrom
certora
Open

PR to test CI#7
raz-certora wants to merge 321 commits intomainfrom
certora

Conversation

@raz-certora
Copy link
Copy Markdown
Collaborator

No description provided.

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: 705be537-2776-4e13-8d4c-64d3ec557877
  • Commit: 0cdfc6e
Job Result ERROR VERIFIED Link
upgradeable_panics.conf 0 4 Link
pausable_panics.conf 0 4 Link
pausable_non_panics.conf 0 4 Link
pausable_integrity.conf 0 2 Link
math_rounding.conf 1 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: eda2171e-04f6-42c1-93b4-ac37f4321cc3
  • Commit: 0cdfc6e
Job Result ERROR KILLED VERIFIED VIOLATED Link
token_binder_integrity.conf 0 0 4 0 Link
rwa_panics.conf 0 0 21 1 Link
rwa_integrity.conf 1 8 15 0 Link
identity_verifier_integrity.conf 0 0 3 0 Link
identity_registry_storage.conf 0 0 13 0 Link
identity_claims.conf 0 0 8 0 Link
claim_topics_and_issuers.conf 0 0 9 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: 87a2fca3-9a17-45dd-852c-fa543e60a4f0
  • Commit: 0cdfc6e
Job Result VERIFIED VIOLATED Link
fungible_panics.conf 10 1 Link
fungible_invariants.conf 10 0 Link
fungible_integrity.conf 5 1 Link
capped.conf 3 0 Link
burnable.conf 9 1 Link
blocklist.conf 9 0 Link
allowlist.conf 9 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: 20e46c2d-ef90-4bdd-8be6-ee4c6d30499b
  • Commit: 5a3e1e6
Job Result ERROR Link
panics.conf 1 Link
invariants.conf 1 Link
integrity.conf 1 Link
conversions.conf 1 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: cd037f6e-6982-48ce-9410-31b360228a57
  • Commit: 5a3e1e6
Job Result VERIFIED VIOLATED Link
upgradeable_panics.conf 4 0 Link
pausable_panics.conf 4 0 Link
pausable_non_panics.conf 4 0 Link
pausable_integrity.conf 2 0 Link
math_rounding.conf 2 2 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: e38c0f38-c5e9-4fdf-b312-d9478ed0e494
  • Commit: 5a3e1e6
Job Result VERIFIED VIOLATED Link
fungible_panics.conf 10 1 Link
fungible_invariants.conf 10 0 Link
fungible_integrity.conf 5 1 Link
capped.conf 3 0 Link
burnable.conf 9 1 Link
blocklist.conf 9 0 Link
allowlist.conf 9 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: 513f7f71-b524-462d-b219-dcde05913829
  • Commit: 5a3e1e6
Job Result ERROR KILLED VERIFIED VIOLATED Link
token_binder_integrity.conf 0 0 4 0 Link
rwa_panics.conf 0 0 21 1 Link
rwa_integrity.conf 1 10 13 0 Link
identity_verifier_integrity.conf 0 0 3 0 Link
identity_registry_storage.conf 0 0 13 0 Link
identity_claims.conf 0 0 8 0 Link
claim_topics_and_issuers.conf 0 0 9 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: 2ac5c67d-d6e4-44cf-a70b-ff82dd45f9b7
  • Commit: 5a3e1e6
Job Result VERIFIED VIOLATED Link
ownable_panics.conf 12 0 Link
ownable_non_panics.conf 4 0 Link
ownable_invariants.conf 9 0 Link
ownable_integrity.conf 5 0 Link
access_control_revoke_role_non_panic.conf 1 0 Link
access_control_panics.conf 24 1 Link
access_control_non_panics.conf 6 0 Link
access_control_invariants.conf 14 1 Link
access_control_integrity.conf 9 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: 7d93423b-c5f0-4f4b-a1ad-905cbb4cafe0
  • Commit: 5a3e1e6
Job Result ERROR VERIFIED VIOLATED Link
royalties.conf 0 6 0 Link
non_fungible_panics.conf 0 7 1 Link
non_fungible_non_panics.conf 0 4 0 Link
non_fungible_invariants.conf 0 5 0 Link
non_fungible_integrity.conf 0 6 0 Link
non_fungible_burnable.conf 0 9 0 Link
enumerable_transfer_integrity.conf 0 7 0 Link
enumerable_mint_burn_integrity.conf 0 19 0 Link
consecutive.conf 1 0 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: abbe7ba7-3053-4d3c-826a-7616032af3f0
  • Commit: 5a3e1e6
Job Result VERIFIED VIOLATED Link
weighted_threshold_panics.conf 15 0 Link
weighted_threshold_invariants.conf 10 0 Link
weighted_threshold_integrity.conf 5 0 Link
spending_limit_panics.conf 7 0 Link
spending_limit_invariants.conf 5 0 Link
spending_limit_integrity.conf 4 0 Link
smart_account_invariants.conf 5 2 Link
smart_account_integrity.conf 5 0 Link
simple_threshold_panics.conf 7 0 Link
simple_threshold_non_panics.conf 6 0 Link
simple_threshold_invariants.conf 8 0 Link
simple_threshold_integrity.conf 4 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: a62137c6-4e38-4f97-bf6b-9f577979cb70
  • Commit: a19ea8a
Job Result VERIFIED VIOLATED Link
upgradeable_panics.conf 4 0 Link
pausable_panics.conf 4 0 Link
pausable_non_panics.conf 4 0 Link
pausable_integrity.conf 2 0 Link
merkle_distributor_panics.conf 2 1 Link
merkle_distributor_integrity.conf 4 0 Link
math_rounding.conf 2 2 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: 8f01b2f0-adce-416d-a021-da369b32e3be
  • Commit: a19ea8a
Job Result ERROR KILLED VERIFIED VIOLATED Link
token_binder_integrity.conf 0 0 4 0 Link
rwa_panics.conf 0 0 21 1 Link
rwa_integrity.conf 1 10 13 0 Link
identity_verifier_integrity.conf 0 0 3 0 Link
identity_registry_storage.conf 0 0 13 0 Link
identity_claims.conf 0 0 8 0 Link
claim_topics_and_issuers.conf 0 0 9 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: 92ca7147-1202-41ef-b73f-552c85dcd2a6
  • Commit: a19ea8a
Job Result VERIFIED VIOLATED Link
ownable_panics.conf 12 0 Link
ownable_non_panics.conf 4 0 Link
ownable_invariants.conf 9 0 Link
ownable_integrity.conf 5 0 Link
access_control_revoke_role_non_panic.conf 1 0 Link
access_control_panics.conf 24 1 Link
access_control_non_panics.conf 6 0 Link
access_control_invariants.conf 14 1 Link
access_control_integrity.conf 9 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: 059bc9d5-5b71-46b3-97c2-1fc2c0cf6cc8
  • Commit: a19ea8a
Job Result ERROR VERIFIED VIOLATED Link
royalties.conf 0 6 0 Link
non_fungible_panics.conf 0 7 1 Link
non_fungible_non_panics.conf 0 4 0 Link
non_fungible_invariants.conf 0 5 0 Link
non_fungible_integrity.conf 0 6 0 Link
non_fungible_burnable.conf 0 9 0 Link
enumerable_transfer_integrity.conf 0 7 0 Link
enumerable_mint_burn_integrity.conf 0 19 0 Link
consecutive.conf 1 0 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: 2a32ebab-07f9-4661-940a-3a280600f9b8
  • Commit: a19ea8a
Job Result VERIFIED VIOLATED Link
weighted_threshold_panics.conf 15 0 Link
weighted_threshold_invariants.conf 10 0 Link
weighted_threshold_integrity.conf 5 0 Link
spending_limit_panics.conf 7 0 Link
spending_limit_invariants.conf 5 0 Link
spending_limit_integrity.conf 4 0 Link
smart_account_invariants.conf 5 2 Link
smart_account_integrity.conf 5 0 Link
simple_threshold_panics.conf 7 0 Link
simple_threshold_non_panics.conf 6 0 Link
simple_threshold_invariants.conf 8 0 Link
simple_threshold_integrity.conf 4 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: f9ef0673-3705-4ad1-8c3f-4e94d07fd39b
  • Commit: a19ea8a
Job Result VERIFIED VIOLATED Link
fungible_panics.conf 10 1 Link
fungible_invariants.conf 10 0 Link
fungible_integrity.conf 5 1 Link
capped.conf 3 0 Link
burnable.conf 9 1 Link
blocklist.conf 9 0 Link
allowlist.conf 9 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: f9ef0673-3705-4ad1-8c3f-4e94d07fd39b
  • Commit: a19ea8a
Job Result VERIFIED Link
fungible_panics.conf 0 Link
fungible_invariants.conf 0 Link
fungible_integrity.conf 0 Link
capped.conf 0 Link
burnable.conf 0 Link
blocklist.conf 9 Link
allowlist.conf 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: ac6a7e48-adbc-4504-a69b-3590d891caa9
  • Commit: b7abf50
Job Result VERIFIED VIOLATED Link
upgradeable_panics.conf 4 0 Link
pausable_panics.conf 4 0 Link
pausable_non_panics.conf 4 0 Link
pausable_integrity.conf 2 0 Link
merkle_distributor_panics.conf 2 1 Link
merkle_distributor_integrity.conf 4 0 Link
math_rounding.conf 2 2 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: e3a55d6f-842c-4fcb-af82-e6eb7181463b
  • Commit: b7abf50
Job Result ERROR KILLED VERIFIED VIOLATED Link
token_binder_integrity.conf 0 0 4 0 Link
rwa_panics.conf 0 0 21 1 Link
rwa_integrity.conf 1 9 14 0 Link
identity_verifier_integrity.conf 0 0 3 0 Link
identity_registry_storage.conf 0 0 13 0 Link
identity_claims.conf 0 0 8 0 Link
claim_topics_and_issuers.conf 0 0 9 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: 2522b77f-d348-4cf6-8f2d-f9544d17bda0
  • Commit: b7abf50
Job Result VERIFIED VIOLATED Link
ownable_panics.conf 12 0 Link
ownable_non_panics.conf 4 0 Link
ownable_invariants.conf 9 0 Link
ownable_integrity.conf 5 0 Link
access_control_revoke_role_non_panic.conf 1 0 Link
access_control_panics.conf 24 1 Link
access_control_non_panics.conf 6 0 Link
access_control_invariants.conf 14 1 Link
access_control_integrity.conf 9 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: 48b079d0-1fe1-4c57-b4c5-8188f29dece5
  • Commit: b7abf50
Job Result VERIFIED VIOLATED Link
weighted_threshold_panics.conf 15 0 Link
weighted_threshold_invariants.conf 10 0 Link
weighted_threshold_integrity.conf 5 0 Link
spending_limit_panics.conf 7 0 Link
spending_limit_invariants.conf 5 0 Link
spending_limit_integrity.conf 4 0 Link
smart_account_invariants.conf 5 2 Link
smart_account_integrity.conf 5 0 Link
simple_threshold_panics.conf 7 0 Link
simple_threshold_non_panics.conf 6 0 Link
simple_threshold_invariants.conf 8 0 Link
simple_threshold_integrity.conf 4 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: 68df0346-8f5a-4478-8d97-2050d34c0d2f
  • Commit: b7abf50
Job Result ERROR KILLED VERIFIED VIOLATED Link
royalties.conf 0 0 6 0 Link
non_fungible_panics.conf 0 0 7 1 Link
non_fungible_non_panics.conf 0 0 4 0 Link
non_fungible_invariants.conf 0 0 5 0 Link
non_fungible_integrity.conf 0 0 6 0 Link
non_fungible_burnable.conf 0 0 9 0 Link
enumerable_transfer_integrity.conf 0 0 7 0 Link
enumerable_mint_burn_integrity.conf 0 0 19 0 Link
consecutive.conf 1 6 3 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: a2909e44-4520-442a-879e-4243bacaed16
  • Commit: b7abf50
Job Result VERIFIED VIOLATED Link
fungible_panics.conf 10 1 Link
fungible_invariants.conf 10 0 Link
fungible_integrity.conf 5 1 Link
capped.conf 3 0 Link
burnable.conf 9 1 Link
blocklist.conf 9 0 Link
allowlist.conf 9 0 Link

Copy link
Copy Markdown

@certora-run certora-run bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verification Results

  • Group ID: 53034eb1-1950-4673-a9f4-b61541fb0215
  • Commit: b7abf50
Job Result ERROR KILLED TIMEOUT VERIFIED Link
panics.conf 0 0 1 11 Link
invariants.conf 0 0 0 24 Link
integrity.conf 0 0 0 18 Link
conversions.conf 1 4 0 6 Link

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants